1. Fields of logic and computation
Author: / Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Computer science, Mathematics,Information theory,Formal methods (Computer science)
Classification :
QA76
.
9
.
M35F54
2010
